Progress Software

Results: 643



#Item
51Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in

Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in

Add to Reading List

Source URL: arieg.bitbucket.org

Language: English - Date: 2016-02-12 11:17:00
    52CHI 2009 ~ Spotlight on Works in Progress ~ Session 2 April 4-9, 2009 ~ Boston, MA, USA Supporting Volunteer Activities with Mobile Social Software

    CHI 2009 ~ Spotlight on Works in Progress ~ Session 2 April 4-9, 2009 ~ Boston, MA, USA Supporting Volunteer Activities with Mobile Social Software

    Add to Reading List

    Source URL: shaunkane.info

    Language: English - Date: 2015-11-03 05:00:26
      53TCT 20/1 progress_Layout:12 Page 7 FEB 12 !Cover Star

      TCT 20/1 progress_Layout:12 Page 7 FEB 12 !Cover Star

      Add to Reading List

      Source URL: www.dsm.com

      Language: English - Date: 2015-07-17 17:20:52
      54International Leadership Institute Programs and Project WISH LIST: - This is a changing list with needs based on projects/programs, locations and technical missions in progress. If you can donate and the item is not on t

      International Leadership Institute Programs and Project WISH LIST: - This is a changing list with needs based on projects/programs, locations and technical missions in progress. If you can donate and the item is not on t

      Add to Reading List

      Source URL: www.internationalleadership.org

      Language: English - Date: 2012-02-10 14:34:05
      55Precise Enforcement of Progress-Sensitive Security Scott Moore, Aslan Askarov, and Stephen Chong Harvard School of Engineering and Applied Science {sdmoore,aslan,chong}@seas.harvard.edu Abstract Program progress (or term

      Precise Enforcement of Progress-Sensitive Security Scott Moore, Aslan Askarov, and Stephen Chong Harvard School of Engineering and Applied Science {sdmoore,aslan,chong}@seas.harvard.edu Abstract Program progress (or term

      Add to Reading List

      Source URL: csf2012.seas.harvard.edu

      Language: English - Date: 2012-07-05 18:15:11
      562013 BSA Global Cloud COMPUTING Scorecard A Clear Path to Progress BSA | The Software Alliance

      2013 BSA Global Cloud COMPUTING Scorecard A Clear Path to Progress BSA | The Software Alliance

      Add to Reading List

      Source URL: cloudscorecard.bsa.org

      - Date: 2013-03-06 11:58:21
        57Progress Software Ganzheitliche Sicht auf App-Sicherheit Die technischen Vorgaben für die Sicherheit mobiler Unternehmens-Apps erklärt Gary Calcott Foto: Progress Software

        Progress Software Ganzheitliche Sicht auf App-Sicherheit Die technischen Vorgaben für die Sicherheit mobiler Unternehmens-Apps erklärt Gary Calcott Foto: Progress Software

        Add to Reading List

        Source URL: 481xy61dp22v2uqbx85ez1twoe.wpengine.netdna-cdn.com

        Language: German - Date: 2013-10-04 08:44:36
          58A3 05:191 - Strategic Research Centre for Predictable Embedded Software Systems Final Report v.2.5 The PROGRESS Centre for Predictable Embedded Software Systems

          A3 05:191 - Strategic Research Centre for Predictable Embedded Software Systems Final Report v.2.5 The PROGRESS Centre for Predictable Embedded Software Systems

          Add to Reading List

          Source URL: www.mrtc.mdh.se

          Language: English - Date: 2013-02-14 08:57:04
            59ICAMP Concept and Implementation January 2013 – Work in Progress The Integrated Capital Asset Management Program (ICAMP), was conceptually introduced by Facilities and Risk Management in 2007, and has recently acquired

            ICAMP Concept and Implementation January 2013 – Work in Progress The Integrated Capital Asset Management Program (ICAMP), was conceptually introduced by Facilities and Risk Management in 2007, and has recently acquired

            Add to Reading List

            Source URL: www.ucop.edu

            Language: English - Date: 2013-01-16 17:53:58
            60UNIT4 reports on-going progress for H1SaaS revenues continuing to increase - Licence sales show growth - Strong performance across UK, Norway, North America and Asia Sliedrecht, The Netherlands, 16th August 2012

            UNIT4 reports on-going progress for H1SaaS revenues continuing to increase - Licence sales show growth - Strong performance across UK, Norway, North America and Asia Sliedrecht, The Netherlands, 16th August 2012

            Add to Reading List

            Source URL: cdn.unit4.com

            Language: English - Date: 2014-09-15 11:20:37